Improving Moving Block Railway System Using Fuzzy Multi-agent Specification Language
نویسندگان
چکیده
Railway interlocking system is a distributed, safety, monetary and environmentally critical system and its failure may cause the loss of human life, severe injuries, loss of money and environmental damages. The complexity of this system requires formal modeling and step by step refinement for its construction and development. The formal specification-based languages, such as V DM , Z-notation and RAISE, have been used for its modeling using crisp (two-valued logic) theory. However, due to the continuous and inexact features, like speed, weight and moving block (breaking distance including length of a train), fuzzy distributed multi-agent approaches are required to capture the inexactness and uncertainty present in the existing system. In order to get a fuzzy distributed multi-agent environment, we have extended the Object-Z towards the fuzzy multi-agent specification language (FMASL) using an integration of fuzzy logic, multi-agent systems (MAS) and Object-Z to be applied for the railway interlocking system. Initially, our extended approach is applied for the specification of railway crossing, a critical component of interlocking system. We have supposed that a train is an autonomous intelligent agent and has fuzzy sub-agents: a moving block and a crossing intelligent agents.
منابع مشابه
Automatic Agent Protocol Generation from Argumentation
Research on argumentation has concentrated on abstract specification of arguments between a protagonist and an antagonist. However, as we build complete multi-agent systems that involve argumentation, there is a need to produce concrete implementations in which these abstract specifications are realised via protocols coordinating agent behavior. This creates a gap between argument specification...
متن کاملMulti-Agent Communication Based Train Control System for Indian Railways: The Structural Design
Indian Railways (IR) work on static block signaling (SBS) system to control mixed train traffic. Current state of operation can be improved by using communication based train control (CBTC) system with moving block signaling (MBS). The mixed traffic conditions in IR restrict the direct use of CBTC systems used elsewhere and thus first necessitated study of existing CBTC systems followed by deve...
متن کاملTowards the Safety Properties of Moving Block Railway Interlocking System
Railway interlocking is a safety critical system because its incorrect functioning may cause serious consequences. Modeling of a reliable interlocking has become a challenging problem due to its inherent complexity and introduction of new technologies. In this paper, formal analysis of safety properties of moving block interlocking is presented preventing collision and derailing of trains at th...
متن کاملA fuzzy reasoning and fuzzy-analytical hierarchy process based approach to the process of railway risk information: A railway risk management system
Risk management is becoming increasingly important for railway companies in order to safeguard their passengers and employees while improving safety and reducing maintenance costs. However, in many circumstances, the application of probabilistic risk analysis tools may not give satisfactory results because the risk data are incomplete or there is a high level of uncertainty involved in the risk...
متن کاملAgent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control
Agent-based systems technologies are of emerging interest in the specification and implementation of complex systems. This article introduces the CASA agent development system which seamlessly combines the BDI (Belief Desire Intention) approach with the FIPA agent communication language standard and an integrated specification of fuzzy controllers. The behavior of agents is defined by strategie...
متن کامل